Biblioteca do ISEL

Your cart is empty.

Biblioteca do ISEL

Refine your search

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Basic proof theory / A. S. Troelstra, H. SchwichtenbergPublication: Cambridge : University Press, 2003Description: XII, 417 p. ; 23 cmAvailability: Items available for loan: [TRO. 510.6] (1).

Place hold Add to cart
Formal semantics and pragmatics for natural language querying / James CliffordPublication: Cambridge : University Press, 1990Description: XV, 194 p. : il.Availability: Items available for loan: [CLI. 004.43] (1).

Place hold Add to cart

Informática-ISEL